Software modeling and analysis using a hierarchical object-oriented Petri net

نویسندگان

  • Jang-Eui Hong
  • Doo-Hwan Bae
چکیده

Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their e€orts to enhancing and extending the expressive power of Petri nets. One such e€ort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively, and naturally. Although several high-level Petri nets with the concept of objects are suggested, these nets do not fully support the object-oriented concepts. In this paper, we propose a hierarchical object-oriented Petri net (HOONet). The formal syntax and semantics of HOONet are explained in detail. HOONet supports a wide range of objectoriented features including abstract, encapsulated and modularized objects, object interaction by message passing, inheritance, and ploymorphism. HOONet also supports a variety of modeling and analysis mechanisms such as incremental modeling of evolving systems, unfolding the HOONet to lower level Petri net, and incremental reachability analysis for HOONet models. We demonstrate the usefulness of HOONet by applying it to modeling and analysis with an example. Ó 2000 Elsevier Science Inc. All rights reserved.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Availability evaluation of Software architecture of object oriented Style using coloured Petri nets

Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...

متن کامل

Enrichment of Object Oriented Petri Net and Object Z Aiming at Business Process Optimization

Software development process is on the basis of two important steps each of which has to be taken seriously, system requirement analysis and system modeling. There have been many different approaches in the literature that has their own strengths and weaknesses to tackle these two important steps, however, there is none comprehensive approach. Among them, formal methods by using their mathemati...

متن کامل

A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets

Object-oriented software essentially has dynamic aspect such as object creation, deletion and dynamic binding during execution. This aspect makes behavior analysis and tests of object-oriented software significantly complicated. In this paper, we propose a new technique of objectoriented software analysis and testing by using Coloured Petri Nets (CPN), which is an extended version of Perti Net,...

متن کامل

Formal approach on modeling and predicting of software system security: Stochastic petri net

To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...

متن کامل

A High - Level Petri Net for Incremental Speci cation of Object - Oriented System Requirements

For complementing the weakness of Petri nets in terms of naturallity, modularity, and reusability, a number of high-level Petri nets with the concepts of objects were suggested. However, it is di cult to apply these nets for the requirements speci cation of object-oriented software systems because of insu cient supporting of the object-oriented concepts. In this paper, we developed a Hierarchic...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Inf. Sci.

دوره 130  شماره 

صفحات  -

تاریخ انتشار 2000